java -Xms10240m -Xmx10240m -jar ./root/epmc-standard.jar check --model-input-files nand.prism --model-input-type prism --property-input-files nand.props --property-input-names reliable --translate-messages false --value-floating-point-output-native true --graphsolver-iterative-stop-criterion relative --graphsolver-iterative-tolerance 1e-6 --const N=40,K=4
assertions-disabled
start-parsing
done-parsing
model-checking
analysing-property reliable
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 32767 32767
build-model-states-explored 112297 79530
build-model-states-explored 201788 89491
build-model-states-explored 290788 89000
build-model-states-explored 386507 95719
build-model-states-explored 484971 98463
build-model-states-explored 561733 76762
build-model-states-explored 661733 100001
build-model-states-explored 756376 94642
build-model-states-explored 855594 99218
build-model-states-explored 955826 100232
build-model-states-explored 1048576 92750
build-model-states-explored 1109441 60865
build-model-states-explored 1208719 99277
build-model-states-explored 1308913 100193
build-model-states-explored 1399706 90794
build-model-states-explored 1500267 100561
build-model-states-explored 1595403 95136
build-model-states-explored 1697446 102043
build-model-states-explored 1797425 99978
build-model-states-explored 1897138 99714
build-model-states-explored 1997343 100204
build-model-states-explored 2097151 99808
build-model-states-explored 2103427 6276
build-model-states-explored 2201856 98428
build-model-states-explored 2301539 99684
build-model-states-explored 2401954 100415
build-model-states-explored 2503697 101743
build-model-states-explored 2604893 101195
build-model-states-explored 2684620 79727
build-model-states-explored 2782547 97927
build-model-states-explored 2881968 99421
build-model-states-explored 2982578 100609
build-model-states-explored 3084035 101458
build-model-states-explored 3172230 88195
build-model-states-explored 3268097 95867
build-model-states-explored 3362447 94350
build-model-states-explored 3463025 100578
build-model-states-explored 3564821 101795
build-model-states-explored 3665126 100306
build-model-states-explored 3764546 99420
build-model-states-explored 3862444 97897
build-model-states-explored 3962955 100512
build-model-done 3999522 43
iterating
iterating-progress-unbounded 32 0.9999894990839039 1
iterating-progress-unbounded 71 0.9996089662843953 2
iterating-progress-unbounded 109 0.9977685842164277 3
iterating-progress-unbounded 147 0.9937566782399779 4
iterating-progress-unbounded 185 0.9648630983113318 5
iterating-progress-unbounded 223 0.9176426139013846 6
iterating-progress-unbounded 261 0.8545098879250885 7
iterating-progress-unbounded 299 0.7925117139778025 8
iterating-progress-unbounded 337 0.7562033844225935 9
iterating-progress-unbounded 374 0.7541159337019007 10
iterating-progress-unbounded 412 0.7514746282315368 11
iterating-progress-unbounded 449 0.7478903074925368 12
iterating-progress-unbounded 485 0.7426829526211284 13
iterating-progress-unbounded 523 0.7312774688079429 14
iterating-progress-unbounded 560 0.7181676219391366 15
iterating-progress-unbounded 597 0.7017515314747065 16
iterating-progress-unbounded 635 0.6854605028429295 17
iterating-progress-unbounded 672 0.683153409146387 18
iterating-progress-unbounded 709 0.6824680294746507 19
iterating-progress-unbounded 746 0.6816906156703799 20
iterating-progress-unbounded 782 0.6807587928196744 21
iterating-progress-unbounded 819 0.6786562152409901 22
iterating-progress-unbounded 856 0.6752435060955906 23
iterating-progress-unbounded 893 0.6707385886775727 24
iterating-progress-unbounded 929 0.6660304491617667 25
iterating-progress-unbounded 966 0.6619050119116421 26
iterating-progress-unbounded 1002 0.6617413548821325 27
iterating-progress-unbounded 1039 0.6615286480656399 28
iterating-progress-unbounded 1075 0.6612658572955696 29
iterating-progress-unbounded 1111 0.6609518019240701 30
iterating-progress-unbounded 1147 0.6601010009071658 31
iterating-progress-unbounded 1184 0.6589120709861573 32
iterating-progress-unbounded 1220 0.6574922442839547 33
iterating-progress-unbounded 1256 0.6558270510656221 34
iterating-progress-unbounded 1291 0.6543491961337574 35
iterating-progress-unbounded 1327 0.6523430976474051 36
iterating-progress-unbounded 1363 0.6475595252629347 37
iterating-progress-unbounded 1399 0.6381837365824716 38
iterating-progress-unbounded 1435 0.6212081589146164 39
iterating-done 1442 39
model-checking-done 92
command-check-result-is 0.6186822208151964 reliable